The GF Mathematics Library
نویسندگان
چکیده
An archetypal meeting point for natural language processing and mathematics education is the realm of word problems [4, 14, 15], a realm in which mechanised mathematics assistants (MMA) are expected to play an ever more prominent role in the years to come. The following example, to which we will refer later on (last subsection of 3), is meant to illustrate in a concrete way the idea of a word problem:
منابع مشابه
The GF Mathematics Library * Jordi
An archetypal meeting point for natural language processing and mathematics education is the realm of word problems [4, 14, 15], a realm in which mechanised mathematics assistants (MMA) are expected to play an ever more prominent role in the years to come. The following example, to which we will refer later on (last subsection of 3), is meant to illustrate in a concrete way the idea of a word p...
متن کاملBuilding and Using a Russian Resource Grammar in GF
Grammatical Framework (GF) [5] is a grammar formalism for describing formal and natural languages. An application grammar in GF is usually written for a restricted language domain, e.g. to map a formal language to a natural language. A resource grammar, on the other hand, aims at a complete description of a natural languages. The language-independent grammar API (Application Programmer’s Interf...
متن کاملRecursive Constructions of N-polynomials over GF (2s)
This paper presents procedures for constructing irreducible polynomials over GF(2s ) with linearly independent roots (or normal polynomials or N-polynomials). For a suitably chosen initial N-polynomial F0(x) ∈ GF(2s ) of degree n, polynomials Fk(x) ∈ GF(2s ) of degrees n2k are constructed by iteratively applying the transformation x → x + x−1, and their roots are shown to form a normal basis of...
متن کاملFrameNet Resource Grammar Library for GF
In this paper we present an ongoing research investigating the possibility and potential of integrating frame semantics, particularly FrameNet, in the Grammatical Framework (GF) application grammar development. An important component of GF is its Resource Grammar Library (RGL) that encapsulates the low-level linguistic knowledge about morphology and syntax of currently more than 20 languages fa...
متن کاملGF Modern Greek Resource Grammar
The paper describes the Modern Greek (MG) Grammar, implemented in Grammatical Framework (GF) as part of the Grammatical Framework Resource Grammar Library (RGL). GF is a special-purpose language for multilingual grammar applications. The RGL is a reusable library for dealing with the morphology and syntax of a growing number of natural languages. It is based on the use of an abstract syntax, wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011